Obor integrity

Obor integrity je komutativní okruh R s jednotkovým prvkem, pro který navíc platí axiom

${\displaystyle \forall a\in R,a\neq 0\quad \forall b\in R,b\neq 0\qquad a\cdot b\neq 0}$.

Oborem integrity je tedy každý komutativní okruh s jednotkovým prvkem, ve kterém nejsou netriviální dělitelé nuly.

Anglický název oboru integrity (integral domain) odráží skutečnost, že obor integrity lze chápat jako zevšeobecnění oboru celých čísel (integers).